Why Aren't There Any Trioxygenyl or Ozonium Salts? Or,Why Does Our Reaction of O3 and PtF6 Give O2PtF6?

The reaction of ozone and gaseous platinum hexafluoride led to O₂PtF₆(s) and not the desired O₃PtF₆(s). Suggestions as to why the synthesis of O₃PtF₆(s) failed are made in terms of the known chemistry of the gaseous O ₃ ⁺ cation with O ₊ ⁵ proposed as an intermediate.     

Program derivation with verified transformations — a case study

A program development methodology based on verified program transformations is described and illustrated through derivations of a high level bisimulation algorithm and an improved minimum-state DFA algorithm. Certain doubts that were raised about the correctness of an initial paper-and-pencil derivation of the DFA minimization algorithm were laid to rest by machine-checked formal proofs of the most difficult derivational steps. Although the protracted labor involved in designing and checking these proofs was almost overwhelming, the expense was somewhat offset by a successful reuse of major portions of these proofs. In particular, the DFA minimization algorithm is obtained by specializing and then extending the last step in the derivation of the high level bisimulation algorithm. Our experience suggests that a major focus of future research should be aimed towards improving the technology of machine checkable proofs — their construction, presentation, and reuse. This paper demonstrates the importance of such a technology to the verification of programs and program transformations. We believe that the utility of transformational systems to program development will ultimately rest on a practical program correctness technology. © 1996 John Wiley & Sons, Inc.     

Regioselective synthesis of substituted pyrroles: efficient palladium-catalyzed cyclization of internal alkynes and 2-amino-3-iodoacrylate derivatives

The first efficient and regioselective palladium-catalyzed cyclization of internal alkynes and 2-amino-3-iodoacrylates to give moderate to excellent yields of highly functionalized pyrroles has been developed. This approach is applicable to a range of alkynes and affords the deacylated pyrrole under reaction conditions for most substrates. [reaction: see text]     

Mass spectrometry imaging of latent fingerprints using titanium oxide development powder as an existing matrix

Recent research has focused on increasing the evidentiary value of latent fingerprints through chemical analysis. Although researchers have optimized the use of organic and metal matrices for matrix‐assisted laser desorption/ionization‐mass spectrometry imaging (MALDI‐MSI) of latent fingerprints, the use of development powders as matrices has not been fully investigated. Carbon forensic powder (CFP), a common nonporous development technique, was shown to be an efficient one‐step matrix; however, a high‐resolution mass spectrometer was required in the low mass range due to carbon clusters. Titanium oxide (TiO₂) is another commonly used development powder, especially for dark nonporous surfaces. Here, forensic TiO₂ powder is utilized as a single‐step development and matrix technique for chemical imaging of latent fingerprints without the requirement of a high‐resolution mass spectrometer. All studied compounds were successfully detected when TiO₂ was used as the matrix in positive mode, although, generally, the overall ion signals were lower than the previously studied CFP. TiO₂ provided quality mass spectrometry (MS) images of endogenous and exogenous latent fingerprint compounds. The subsequent addition of traditional matrices on top of the TiO₂ powder was ineffective for universal detection of latent fingerprint compounds. Forensic TiO₂ development powder works as an efficient single‐step development and matrix technique for MALDI‐MSI analysis of latent fingerprints in positive mode and does not require a high‐resolution mass spectrometer for analysis.     

Morphological and Interaction Characteristics of Surface-Active Ionic Liquids and Palmitic Acid in Mixed Monolayers

A series of water soluble, surface-active ionic liquids (SAILs), namely, 1-alkyl-3-methyl imidazolium chlorides ([C_n-mim]Cl) and their mixtures with palmitic acid (PA) are investigated in Langmuir monolayers and Langmuir–Blodgett films. It is inferred from the surface pressure-area isotherms that C₁₆-mim-IL mixes non-ideally with PA and stabilizes the binary mixed films. In addition, the residence of mim-IL at the water surface is enhanced as a function of the increasing alkyl side chain length. Generally, the compressional moduli values decrease upon increasing the content of the mim-ILs over a wide range of compositions. Furthermore, film relaxation measurements indicate that the IL component is selectively excluded from the mixed films upon achieving a certain target pressure. Brewster angle microscope images demonstrate minimal changes on the PA domains in the presence of either C₄- and C₈-mim-ILs, whereas presence of the hexadecyl counterpart results in the formation of condensed sheets. Atomic force microscopy imaging of deposited films show the formation of propeller-like aggregates when C₈- or C₁₆-mim-IL is present in the mixed films.     

A calcium-modulated plasmonic switch

A plasmonic switch based on the calcium-induced conformational changes of calmodulin is shown to exhibit reversible wavelength modulations in response to changing calcium concentration. The extinction maximum (lambdamax) of a localized surface plasmon resonance (LSPR) sensor functionalized with a novel calmodulin construct, cutinase-calmodulin-cutinase (CutCaMCut), reversibly shifts by 2-3 nm. A high-resolution (HR) LSPR spectrometer with a wavelength resolution (3sigma) of 1.5 x 10-2 nm was developed to detect these wavelength modulations in real-time, providing information about the dynamics and structure of the protein. The rate of conversion from open (Ca2+-bound) to closed (Ca2+-free) calmodulin is shown to be 4-fold faster than the reverse process, with a closing rate of 0.127 s-1 and opening rate of 0.034 s-1. As far as we are aware, this plasmonic switch marks the first use of LSPR spectroscopy to detect reversible conformational changes in an unlabeled protein.